Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded Systems
نویسندگان
چکیده
منابع مشابه
Automatic test case generation for critical embedded systems
This paper presents a research project on the feasability of automatic test generation from formal specification in an industrial context. Airbus has used SCADE for several years to specify critical avionics systems. We have experimented automated test generation tools from SCADE specifications and defined a coverage criterion adapted to SCADE specifications.
متن کاملEmbedded Software Development For Safety Critical Systems
Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...
متن کاملAnalyzing software requirements errors in safety-critical, embedded systems
This paper analyzes the root causes of safety-related software errors in safety-critical, embedded systems. The results show that software errors identi ed as potentially hazardous to the system tend to be produced by di erent error mechanisms than non-safetyrelated software errors. Safety-related software errors are shown to arise most commonly from (1) discrepancies between the documented req...
متن کاملModel-based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consuming. We present the foundations and results of a case study to automate the generation of tests for control software of vehicle control units based on a specification of requirements in terms of finite state machines....
متن کاملSystematic Test Data Generation for Embedded Software
Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where timing constraints play a significant role. Test data generation is done manually nowadays, though it should be automated to the highest possible extent. Hereby, a concept for testing at the model level is introduced. Fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics
سال: 2020
ISSN: 2079-9292
DOI: 10.3390/electronics9050797